ROBUST VERIFICATION OF PIECEWISE AFFINE SYSTEMS
نویسندگان
چکیده
منابع مشابه
Qualitative Abstraction of Piecewise Affine Systems
Qualitative or symbolic abstractions of hybrid systems received considerable interest recently to solve problems of hybrid systems estimation, control and verification symbolically. To abstract a hybrid system one has to slice the continuously valued input/output/state-space into a (finite) set of partitions. The number of partitions potentially grows exponentially with the dimension of the spa...
متن کاملRobust Non-Zenoness of Piecewise Affine Systems with Applications to Linear Complementarity Systems
Piecewise affine systems (PASs) constitute an important class of nonsmooth switching dynamical systems subject to state dependent mode transitions arising from control and dynamic optimization. A fundamental issue in dynamics analysis of switching systems pertains to the possible occurrence of infinitely many switchings in finite time, referred to as the Zeno behavior. There has been a growing ...
متن کاملObserver-Based Control of Piecewise-Affine Systems
This paper presents a new synthesis method for both state and dynamic output feedback control of a class of hybrid systems called piecewise-affine (PWA) systems. The synthesis procedure delivers stabilizing controllers that can be proven to give either asymptotic or exponential convergence rates. The synthesis method builds on existing PWA stability analysis tools by transforming the design int...
متن کاملControl of Discrete-time Piecewise Affine Systems
In this paper we propose a new approach for the control of discrete-time piecewise affine hybrid systems on full-dimensional polytopes. The new strategy is divided into a local and a supervisory control problem. The local problem is to reach and cross one facet of a polytope ensuring that the next sample of the time-discrete trajectory is picked up in the adjacent polytope. Therefore, a local p...
متن کاملObservability of Piecewise-Affine Hybrid Systems
We consider observability for a class of piecewise-affine hybrid systems without inputs. The aim is to give verifiable conditions for observability in terms of linear equations and inequalities. We first discuss a number of important concepts, such as discrete-event detectability and trajectory observability. We give sufficient conditions for observability, observability in infinitesimal time, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2002
ISSN: 1474-6670
DOI: 10.3182/20020721-6-es-1901.00223